Haskell as an Architecture Description Language
نویسندگان
چکیده
We define a domain specific embedded language in Haskell for describing layered software architectures which maintain bidirectional dependencies. By using a typed programming language to describe the architecture, the type correctness of its components is guaranteed by the type checker of the language. Because, contrary to the situation with typical Architecture Description Languages, the description is part of the implementation of the system, the implementation is guaranteed to comply with the architecture, and the architecture is guaranteed to comply with the implementation.
منابع مشابه
Combinators for layered software architectures
We define a domain specific embedded language in Haskell to describe layered software architectures of editors. By using a typed programming language to describe the architecture, the type correctness of its components is guaranteed by the type checker of the language. Furthermore, because the architecture description of a system is part of the implementation of the system, the implementation w...
متن کاملSpecification of APERTIF Polyphase Filter Bank in ClaSH
CλaSH, a functional hardware description language based on Haskell, has several abstraction mechanisms that allow a hardware designer to describe architectures in a short and concise way. In this paper we evaluate CλaSH on a complex DSP application, a Polyphase Filter Bank as it is used in the ASTRON APERTIF project. The Polyphase Filter Bank is implemented in two steps: first in Haskell as bei...
متن کاملDesigning a dataflow processor using CλaSH
In this paper we show how a simple dataflow processor can be fully implemented using CλaSH, a high level HDL based on the functional programming language Haskell. The processor was described using Haskell, the CλaSH compiler was then used to translate the design into a fully synthesisable VHDL code. The VHDL code was synthesised with 90 nm TSMC libraries and placed and routed. Simulation of the...
متن کاملImplementation of an Embedded Hardware Description Language Using Haskell
This paper describes an ongoing implementation of an embedded hardware description language (HDL) using Haskell as a host language. Traditionally, “functional” HDL’s are made using lazy lists to model signals, so circuits are functions from lists of input values to lists of output values. We use another known approach for embedded languages, in which circuits are data structures rather than fun...
متن کاملGuarded Atomic Actions for Haskell
The guarded atomic actions model is a programming model introduced in the Bluespec high-level hardware description language. The model expresses parallel behavior with a high degree of modularity and composability. In this project, we present an implementation of guarded atomic actions as a library for the Haskell software programming language, thus introducing the guarded atomic action model o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008